формализуем

формализуем
formalize

Бизнес, юриспруденция. Русско-английский словарь. 2005.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Линейное программирование —         математическая дисциплина, посвященная теории и методам решения задач об экстремумах линейных функций на множествах, задаваемых системами линейных неравенств и равенств; Л. п. является одним из разделов математического программирования… …   Большая советская энциклопедия

  • ЯЗЫК ИСКУССТВА — одно из важнейших проблемных полей современной философии искусства, конституированное в контексте характерного для постмодерна радикального поворота от центральной для классической традиции проблематики творчества к актуализирующейся в… …   Новейший философский словарь

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ЛИНЕЙНОЕ ПРОГРАММИРОВАНИЕ — математическая дисциплина, посвященная теории и методам решения задач об экстремумах линейных функций на множествах n мерного векторного пространства, задаваемых системами линейных неравенств и равенств; Л. п. один из разделов математического… …   Математическая энциклопедия

  • Тавтология (логика) — У этого термина существуют и другие значения, см. Тавтология. Тавтологией в логике называется тождественно истинное высказывание, инвариантное относительно значений своих компонентов. Содержание 1 Примеры тавтологий 1.1 …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”